<?php

$ostr = "";
$base = 1;
while($base < 1000000000000000){
    for($i = $base ;$i <= $base + 20;$i++){
        $ostr .= $i."\n";
    }
    $base *= 1000;
}

file_put_contents("11986.in2",$ostr);

?>
